Vienna University of Technology - PDFSEARCH.IO - Document Search Engine

Vienna University of Technology
Results: 346

#	Item
21	Applicability of ASP-based Problem Solving on Tree Decompositions Bernhard Bliem, Reinhard Pichler and Stefan Woltran Institute of Information Systems, Vienna University of Technology Favoritenstrasse 9–11; A-1040 Wien Add to Reading List Source URL: dbai.tuwien.ac.at - Date: 2013-06-20 14:18:41
22	Algorithms and Complexity Results for Exact Bayesian Structure Learning Sebastian Ordyniak and Stefan Szeider Institute of Information Systems Vienna University of Technology, Austria Add to Reading List Source URL: event.cwi.nl - Date: 2010-06-18 10:53:36
23	What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology) Add to Reading List Source URL: forsyte.at - Date: 2016-03-08 09:52:31
24	Challenges in Model Checking of Fault-tolerant Designs in TLA+ Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology) Abstract. Although, historically, fault tolerance is connected to safe Add to Reading List Source URL: multicore.doc.ic.ac.uk - Date: 2015-06-04 05:51:35
25	Maple T.A. in Engineering Educations Stefanie Winkler, Andreas K¨ orner, Vilma Urbonaite Institute for Analysis and Scientific Computing, Vienna University of Technology, Vienna, Austria (e-mail: stefanie.winkler@tuwien Add to Reading List Source URL: seth.asc.tuwien.ac.at - Date: 2012-02-08 11:06:59
26	Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem Bernhard Bliem, Reinhard Pichler, and Stefan Woltran Institute of Information Systems, Vienna University of Technology {bliem, pichle Add to Reading List Source URL: dbai.tuwien.ac.at - Date: 2013-09-24 06:14:24
27	Towards a Foundational Framework for Developing and Testing Inter-organizational Business Processes Philip Langer Vienna University of Technology Vienna, Austria Add to Reading List Source URL: nm.wu-wien.ac.at - Date: 2014-04-03 02:19:32
28	Synchronization as a Special Case of Access Control Franz Puntigam Vienna University of Technology Vienna, Austria Add to Reading List Source URL: places08.di.fc.ul.pt - Date: 2011-01-31 06:33:44
29	JCloudScale: Closing the Gap Between IaaS and PaaS ROSTYSLAV ZABOLOTNYI, Distributed Systems Group, Vienna University of Technology PHILIPP LEITNER, Software Evolution & Architecture Lab, University of Zurich WALDEMAR HU Add to Reading List Source URL: www.infosys.tuwien.ac.at - Date: 2015-09-01 02:23:11
30	Tätigkeitsbericht Altsäckereferats der Hochschülerschaft an der TU Wien Activity Report of the representation of old and grumpy students at the Vienna University of Technology Altsäckereferat Add to Reading List Source URL: htu.at - Date: 2016-07-01 12:13:16

UPDATE